Стивен Коул (р. 5.1.1909, Хартфорд, штат Коннектикут), американский логик и математик. В 1934 получил степень доктора философии в Принстонском университете. Профессор Висконсинского университета (Мадисон) с 1948. Основные работы посвящены теории алгоритмов и рекурсивных функций, а также проблемам интуиционистской логики и математики. В частности, им доказана эквивалентность введённого А. Чёрчем понятия λ-определимости функций с общерекурсивностью. Введённое К. понятие (рекурсивной) реализуемости формул лежит в основе интуиционистской интерпретации арифметических суждений. К. - автор ряда широко известных монографий по математической логике, основаниям математики и теории рекурсивных функций.
Соч. в рус. пер.: Введение в метаматематику, М., 1957.
Алгебра Клини
Алгебра Клини — в теоретической информатике, специальная алгебраическая структура, введённая американским математиком Стивеном Клини, являющаяся обобщением алгебры регулярных выражений.
Клин (Псковская область); Клин (Ульяновская область)
КЛИН, клина, мн. клинья, клиньев, ·муж.
1. Заостренный книзу и расширяющийся кверху кол, кусок дерева или железа, употр. для расщепления, раскалывания дерева. Загнать клин в бревно. Дубовые клинья.
2. О треугольной заостренной форме предметов. Борода клином. Пашня клином врезалась в лес.
4. Часть полей, земельных угодий, засеваемых в одну очередь, в один сезон (с.-х.). Яровой клин. Озимый клин.
• Дело клипом сошлось (·разг.) - создалось безвыходное положение. Свет не клином сошелся (·разг.) - 1) простору много, есть еще место кроме этого; 2) есть еще выбор или есть еще выход из положения. Клином не вышибешь чего из кого (·разг.) - перен. не поддается никаким усилиям, воздействиям, крепко сидит что-нибудь в ком-нибудь.
Wikipédia
Клини
Клини, Коррадо (род. 1947) — итальянский политик.
Клини, Стивен Коул (1909—1994) — американский математик и логик.
1. Своим учителем Александра Александровича считают многие хирурги страны, но особо чтут его наследие в Центральном военном клини?ческом госпитале, носящем его имя.